doi: 10.17586/2226-1494-2025-25-6-1229-1233


УДК 004.2

Проектные механизмы микроархитектурного уровня для встраиваемых систем

Кольчурин М.В., Платунов А.Е.


Читать статью полностью 
Язык статьи - русский

Ссылка для цитирования:
Кольчурин М.В., Платунов А.Е. Проектные механизмы микроархитектурного уровня для встраиваемых систем // Научно-технический вестник информационных технологий, механики и оптики. 2025. Т. 25, № 6. С. 1229–1233. doi: 10.17586/2226-1494-2025-25-6-1229-1233


Аннотация
Стремительно растущая потребность в проектировании специализированных вычислительных систем (особенно встраиваемых систем и систем на кристалле) сдерживается ограниченными возможностями разработчиков из-за высокой сложности задачи. Предлагается «проектный механизм» как абстракция (абстрактное понятие) с явным разделением на архитектурную логику и уровень реализации по комплексному критерию. Его применение наиболее эффективно при проектировании подсистем с высокой внутренней вариативностью и множеством технологических альтернатив. Разработанная абстракция на всех этапах маршрута проектирования позволяет эффективнее формировать и анализировать пространство проектных решений, радикально сокращая концептуальные ошибки и расширяя для повторного использования число результатов проектной деятельности.

Ключевые слова: встраиваемые системы, архитектурные решения, метрики

Список литературы
1. Кольчурин М.В., Пинкевич В.Ю., Платунов А.Е. Усиление роли микроархитектурных этапов проектирования встраиваемых систем // Научно-технический вестник информационных технологий, механики и оптики. 2022. Т. 22. № 4. С. 716–724. https://doi.org/10.17586/2226-1494-2022-22-4-716-724
2. Kolchurin M., Platunov A., Asminkin F., Pinkevich V. Architectural abstractions in the design of distributed embedded systems platforms // Proc. of the 24th International Multidisciplinary Scientific GeoConference SGEM. 2024. V. 24. N 2.1. P. 19–26. https://doi.org/10.5593/sgem2024/2.1/s07.03
3. Pinkevich V., Platunov A., Gorbachev Ya. Design of embedded and cyber-physical systems using a cross-level microarchitectural pattern of the computational process organization // CEUR Workshop Proceedings. 2020. V. 2893. P. 1–14.
4. Technical Report: SysML v1 to SysML v2 Model Conversion Approach. Office of Systems Engineering and Architecture. Washington, D.C., 2024. 49 p.
5. Alenazi M., Niu N., Savolainen J. SysML modeling mistakes and their impacts on requirements // Proc. of the IEEE 27th International Requirements Engineering Conference Workshops (REW). 2019. P. 14–23. https://doi.org/10.1109/REW.2019.00010
6. Neider D., Roy R. What is formal verification without specifications? A survey on mining LTL specifications // Lecture Notes in Computer Science. 2025. V. 15262. P. 109–125. https://doi.org/10.1007/978-3-031-75778-5_6
7. Formal Methods Specification and Verification Guidebook for Software and Computer Systems. Volume I: Planning and Technology Insertion. Technical report NASA-GB-002-95. Washington, DC: NASA, 1995. 227 p.
8. Kotusev S. TOGAF-based enterprise architecture practice: An exploratory case study // Communications of the Association for Information Systems. 2018. V. 43. N 1. P. 321–359. https://doi.org/10.17705/1CAIS.04320
9. Sangiovanni-Vincentelli A., Carloni L., De Bernardinis F., Sgroi M. Benefits and challenges for platform-based design // Proc. of the 41st annual Design Automation Conference. 2004. P. 409–414. https://doi.org/10.1145/996566.996684
10. Keutzer K., Malik S., Newton A.R., Rabaey J.M., Sangiovanni-Vincentelli A. System-level design: orthogonalization of concerns and platform-based design // IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2000. V. 19. N 12. P. 1523–1543. https://doi.org/10.1109/43.898830
11. Buchgeher G., Schöberl S., Geist V., Dorninger B., Haindl P., Weinreich R. Using architecture decision records in open source projects – an MSR study on GitHub // IEEE Access. 2023. V. 11. P. 63725–63740. https://doi.org/10.1109/ACCESS.2023.3287654


Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Информация 2001-2025 ©
Научно-технический вестник информационных технологий, механики и оптики.

Яндекс.Метрика